Formal Specification Techniques for Engineering Modular C Programs Viola Eckelt Der Vertrieb von Produkten und

Der Vertrieb von Produkten und Dienstleistungen an der Haustür hat in den letzten Jahrzehnten enorm zugenommen

Im ersten Kapitel werden hierzu die zentralen Begriffe durch Definitionen vorgestellt

Aufsätze und Ratgeber

daß für rund 40 Prozent der Verbraucher Umweltschutz ein Entscheidungskriterium (bei gleichem Preis-Leistungs-Verhältnis wird das umweltfreundlichere Produkt gewählt) beim Kauf darstellt

"The Theory of the Leisure Class" is considered as the first detailed critique of consumerism

Formal Specification Techniques for Engineering Modular C Programs Viola Eckelt Der Vertrieb von Produkten undSoftware is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain. Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal